Software engineering - PDFSEARCH.IO - Document Search Engine

Software engineering
Results: 57508

#	Item
521	TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable D1.2.B-1 Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-03-07 09:24:09 Computing Software engineering Technology Formal methods Product development Project management Scientific modeling Logic in computer science Software development Information model Modeling language Entityrelationship model
522	Fall 2015: EECS Textbook Order Please see the most updated information on http://wolverineaccess.umich.edu/ -> UM COURSE CATALOG -> Class Search (enter course subject and number) -> click on the class se Add to Reading List Source URL: www.eecs.umich.edu Language: English - Date: 2015-08-27 14:39:22 Software engineering Computing Programming language theory Textbooks Ada Digital textbook
523	WG14 N1475 INCITS PL22.11/09-‐0002 Reply to the Attention of: Barry Hedquist Email: Add to Reading List Source URL: www.open-std.org Language: English - Date: 2010-06-27 14:32:08 Software engineering Computing Computer programming C Procedural programming languages Object-oriented programming languages C11 C99 Errno.h Fortran Ada ALGOL 68
524	Questions about the FOR/ASBMB Hack Day The Future of Research and the American Society for Biochemistry and Molecular Biology will jointly host a Hack Day on Saturday, Oct. 24. The goal of this event will be to find inno Add to Reading List Source URL: www.asbmb.org Language: English - Date: 2015-09-23 15:06:34 Computing Software engineering Software development Hackathon Hacker culture Internet slang OpenBSD Hack .hack
525	BHP Additional Variables Different establishment variables from the Establishment History Panel (BHP) are available for following data sets: ALWA-ADIAB - ALWA survey data linked to administrative data of the IAB ........ Add to Reading List Source URL: doku.iab.de Language: English - Date: 2016-08-16 22:40:01 Data types Software engineering Computing Type theory Variable Record C++ classes
526	Deriving Generic Functions by Example Neil Mitchell University of York, UK http://www.cs.york.ac.uk/~ndm/ Abstract. A function is said to be generic if it operates over values of Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Functional programming Data types Programming language comparisons Type theory Higher-order functions Fold Generic programming Map Type class
527	Fuzzing the Rust Typechecker Using CLP Kyle Dewey Jared Roesch Ben Hardekopf Add to Reading List Source URL: jroesch.github.io Language: English - Date: 2016-04-16 20:16:50 Software engineering Type theory Computing Programming language theory Type system CurryHoward correspondence Typed lambda calculus Simply typed lambda calculus Type rule Type safety Typing environment Go
528	Implementing a Bibliography Processor in Scheme Jean-Michel Hufflen LIFC (FRE CNRSUniversity of Franche-Comté 16, route de GrayBESANÇON CEDEX Add to Reading List Source URL: www.deinprogramm.de Language: English - Date: 2005-10-09 10:53:55 Software engineering Software Computer programming Functional programming Subroutines BibTeX Functional languages Scheme LaTeX Eval Parsing Function composition
529	Guide to SpringTab integration 1. Data export integration We are going through the SpringTab integration process on an existing website (without FB client side integration). Add to Reading List Source URL: www.springtab.com Language: English - Date: 2016-06-16 06:49:42 Software engineering Computing Computer programming JavaScript libraries Ajax JavaScript Callback JQuery HTML element Scope Ext JS Asadtala Binode Vidyapith
530	PUBLIC NOTICE City of Marshall Dial-A-Ride Transit (DART) PROPOSED STATE AND FEDERAL APPLICATION FOR OPERATING ASSISTANCE All citizens are advised the City of Marshall DART has prepared applications for State of Michigan Add to Reading List Source URL: www.cityofmarshall.com Language: English - Date: 2016-05-17 13:19:10 Transportation in Texas Software engineering Texas DallasFort Worth metroplex Transportation in Dallas Dublin Suburban Rail Dart Dallas Area Rapid Transit Dublin Area Rapid Transit Marshall Texas Marshall

UPDATE